Blar i NTNU Open på forfatter "Flobakk, Rune"
-
Automated verification of design adherence in software implementation
Flobakk, Rune (Master thesis, 2007)Software design and architecture specify how a system should be implemented to achieve the required quality attributes. Being able to automatically verify the design adherence during implementation will continuously assure ...